#!/bin/sh
java -jar DomainMathIDE.jar